Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this version, first published in 2008, is thoroughly revised and offers an account of the subject wit...(展开全部)

Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this version, first published in 2008, is thoroughly revised and offers an account of the subject wit...(展开全部)

Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this long-awaited new version is thoroughly revised and offers a fully up-to-date account of the subj...(展开全部)

Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this long-awaited new version is thoroughly revised and offers a fully up-to-date account of the subj...(展开全部)

This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, assuming no prior knowledge of mathematics or functional programming. Numerous exercises appear throughout the text, and all problems feature complete solutions. 1989 edition....(展开全部)

This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, assuming no prior knowledge of mathematics or functional programming. Numerous exercises appear throughout the text, and all problems feature complete solutions. 1989 edition....(展开全部)

The rewards and dangers of speculating in the modern financial markets have come to the fore in recent times with the collapse of banks and bankruptcies of public corporations as a direct result of ill-judged investment. At the same time, individuals are paid huge sums to use their mathematical skills to make well-judged investment decisions. Here now is the first rigorous and ...(展开全部)

Application-oriented introduction relates the subject as closely as possible to science. In-depth explorations of the derivative, the differentiation and integration of the powers of "x," theorems on differentiation and antidifferentiation, the chain rule and examinations of trigonometric functions, logarithmic and exponential functions, techniques of integration, polar coordin...(展开全部)

Mary Talbot is Secretary of the International Gender and Language Association.

What impact has Christianity had on the law from its beginnings to the present day? This 2008 introduction explores the main legal teachings of Western Christianity, set out in the texts and traditions of scripture and theology, philosophy and jurisprudence. It takes up the weightier matters of the law that Christianity has profoundly shaped - justice and mercy, rule and equity...(展开全部)